- отрицание (связка)
- Programming: negation
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
ОТРИЦАНИЕ. — ОТРИЦАНИЕ. 1. В естественном языке в зависимости от местоположения различают внешнее и внутреннее отрицание. Внешнее (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем… … Философская энциклопедия
отрицание — ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются. 1. Внешнее О. (пропозициональное) служит для образования… … Энциклопедия эпистемологии и философии науки
связка — в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами есть , суть , является и т. п., напр.: Узбеки являются жителями Средней Азии . В обыденной речи С. часто опускается … Словарь терминов логики
пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… … Словарь терминов логики
ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА — символ формального языка, служащий для обозначения логической операции, с помощью к рой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание… … Математическая энциклопедия
Кансайский диалект — Надпись на кансай бэне: «Приставать нельзя! Абсолютно нельзя! (яп. チカンはあかんで。ゼッタイあかんで。 … Википедия
Логическая операция — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия
БЫТИЕ — филос. понятие, обозначающее наличие явлений и предметов самих по себе или как данности в сознании, а не содержательный их аспект. Может пониматься как синоним понятий «существование» и «сущее» или же отличаться от них теми или иными смысловыми… … Философская энциклопедия
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия